21. Definition of programming languages by interpreting automata
پدیدآورنده : Ollongren, Alexander.
موضوع : ، Programming languages )Electronic computers(,، Formal languages,، Sequential machine theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
22. Grammars and automata for string processing: from mathematics and computer science to biology, and back
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computer science,، Programming languages )Electronic computers(-- Mathematics,، Mathematical linguistics,، Formal languages
رده :
QA
76
.
G64
2003
23. Grammars and automata for string processing : from mathematics and computer science to biology, and back
پدیدآورنده : edited by Carlos Martin-Vide and Victor Mitrana
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Mathematics ، Computer science,Mathematics ، Programming languages )Electronic computers(,، Mathematical linguistics,، Formal languages,، Molecular biology,، Paun, Gheorghe, 0591-
رده :
QA
76
.
G69
24. Introduction a la theorie des langages
پدیدآورنده : Moreau, Rene
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Formal languages,، Programming languages )Electronic computers(
رده :
QA
267
.
3
.
M67
25. Mathematical foundations of computer science
پدیدآورنده : edited by A. Blikle
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(
رده :
QA
267
.
5
.
S4
S89
1974
26. Mathematical foundations of computer science 1995
پدیدآورنده :
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Machine theory- Congresses,Formal languages- Congresses,Programming )Electronic computers(- Congresses
27. Mathematical foundations of computer science 1977. Proceedings, 6th Symposium. Tatranska Lonmica, September 5-9, 1977
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(
رده :
QA
267
.
M37
28. Mathematical foundations of computer science : symposium at ..
پدیدآورنده :
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(
رده :
QA
76
.
L4
v
.
45
,
etc
...
29. Mathematical foundations of computer science : symposium at ..
پدیدآورنده : A. Kreczmar, G. Mirkowska )Eds.(
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(
رده :
QA
76
.
L4
v
.
379
30. Mathematical foundations of computer science 1991 : 16th International symposium, Kazimierz Dolny, Poland, September 9-13, 1991, Proceedings
پدیدآورنده : A. Tarlecki )ed.(
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(
رده :
QA
76
.
L4
v
.
520
31. Methods of algorithmic language implementation
پدیدآورنده : edited by A. Ershov and C.H.A. Koster
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Programming languages )Electronic computers(,Congresses ، Formal languages
رده :
QA
76
.
L28
Vol
.
47
32. Methods of algorithmic language implementation
پدیدآورنده : edited by A. Ershov and C. H. A. Koster
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Programming languages )Electronic computers(,Congresses ، Formal languages
رده :
QA
76
.
L4
v
.
47
33. New trends in formal languages :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Programming languages (Electronic computers) ; Formal languages ; Parsing (Computer grammar) ;
34. New trends in formal languages : control, cooperation, and combinatorics
پدیدآورنده : Gheorghe Paun, Arto Salomaa )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Programming languages )Electronic computers(,، Formal languages,، Parsing )Computer grammar(
رده :
QA
76
.
L28
Vol
.
1218
35. Simple program schemes and formal languages
پدیدآورنده : Engelfriet, Joost.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Formal languages,، Programming )Electronic computers(
رده :
QA
267
.
3
.
E53
36. Simple program schemes and formal languages
پدیدآورنده : Engelfriet, Joost
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Formal languages,، Programming )Electronic computers(
رده :
QA
267
.
3
.
E53
37. Symposium on Semantics of Algorithmic Languages
پدیدآورنده : edited by E. Engeler
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Programming languages )Electronic computers(,Congresses ، Formal languages,Congresses ، Algorithms
رده :
QA
3
.
L28
Vol
.
188
38. Symposium on semantics of algorithmic languages
پدیدآورنده : edited by E. Engeler
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : Semantics -- Congresses ، Programming languages )Electronic computers(,Congresses ، Formal languages,Congresses ، Computer algorithms
رده :
QA
76
.
7
.
S9
1971
39. Symposium on semantics of algorithmic languages
پدیدآورنده : edited by E. Engeler
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Programming languages )Electronic computers( - Semantics,Congresses ، Formal languages,Congresses ، Computer algorithms
رده :
QA
1
.
L4
v
.
188
40. Symposium on semantics of algorithmic languages
پدیدآورنده : edited by E.Engeler
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Congresses ، Programming languages )Electronic computers(,Congresses ، Formal languages,Congresses ، Algorithms
رده :
QA
3
.
L28
no
.
188
